The Layers of Logiweb

نویسنده

  • Klaus Grue
چکیده

Logiweb is an open source, distributed system for publication of machine checked mathematics. It covers all aspects of electronic publishing: high typographical quality, archival, handling of references to previously published results, and publication of refereed volumes. The present paper is itself produced using Logiweb; and the paper is formally correct in the sense that it has been verified by Logiweb. The paper describes the implementation layers of the Logiweb system as seen by the user: the programming layer, the metalogic layer, the tactic layer, and the object proof layer.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Logiweb - A System for Web Publication of Mathematics

Logiweb is a system for electronic publication and archival of machine checked mathematics of high typographic quality. It can verify the formal correctness of pages, i.e. mathematical papers expressed suitably. The present paper is an example of such a Logiweb page and the present paper is formally correct in the sense that it has been verified by Logiweb. The paper may of course contain infor...

متن کامل

The implementation of Logiweb

This paper describes the implementation of the ‘Logiweb’ system with emphasis on measures taken to support classical reasoning about programs. Logiweb is a system for authoring, storing, distributing, indexing, checking, and rendering of ‘Logiweb pages’. Logiweb pages may contain mathematical definitions, conjectures, lemmas, proofs, disproofs, theories, journal papers, computer programs, and p...

متن کامل

Studying the influence of Geometric Characteristics and Arrangement of FRP Layers on Rehabilitation of Concrete Shear Walls

During recent years, the use of fiber-reinforced polymers (FRP) as a desirable alternative for improving the behavior of lateral resisting system are known. There are various factors influencing the quality of such kind of rehabilitation. This study aims to investigate the influence of geometric characteristics and arrangement of FRP layers on rehabilitating of concrete shear walls.  A few rein...

متن کامل

Study on the Interactions between Mechanical and Structural Properties of the Thermobonded Nonwovens

Thermobonding is widely used in producing of nonwovens. In this study various layers of thermobonded nonwovens were produced by altering the pressure, binder fibres and quality of blending. Mechanical properties of the so-called layers such as breaking strength and breaking elongation, bending rigidity and air permeability were assessed consequently. The structure of the layers was then studied...

متن کامل

Comparison of Geotextile Layers Effects on Static and Dynamic behavior of Pavement

One of the methods for the improvement of soil against the tensile stresses is using the artificial supplements in soil such as metal belts or nets, polymer materials and natural fibers. Technically this method is called the reinforced of soil.  When a pavement is located on soft soil, great deformations can occur as a result of the crossing of traffic load in superstructure layers of the body....

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007